K{-}sem{-}sat(${\it Sem}$;${\it equiv}$;$S$;${\it kpr}$;$X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$s$:${\it Sem}$. K{-}sem($S$;${\it equiv}$)(${\it kpr}$,$s$) $\Rightarrow$ $X$($s$)